Model Theory on Finite Structures
نویسنده
چکیده
In mathematical logic, the notions of mathematical structure, language and proof themselves become the subject of mathematical investigation, and are treated as first class mathematical objects in their own right. Model theory is the branch of mathematical logic that is particularly concerned with the relationship between structure and language. It seeks to establish the limits of the expressive power of our formal language (usually the first order predicate calculus) by investigating what can or cannot be expressed in the language. The kinds of questions that are asked are:
منابع مشابه
A finite element model for extension and shear modes of piezo-laminated beams based on von Karman's nonlinear displacement-strain relation
Piezoelectric actuators and sensors have been broadly used for design of smart structures over the last two decades. Different theoretical assumptions have been considered in order to model these structures by the researchers. In this paper, an enhanced piezolaminated sandwich beam finite element model is presented. The facing layers follow the Euler-Bernoulli assumption while the core layers a...
متن کاملAn Efficient Finite Element Formulation Based on Deformation Approach for Bending of Functionally Graded Beams
Finite element formulations based generally on classical beam theories such as Euler-Bernoulli or Timoshenko. Sometimes, these two formulations could be problematic expressed in terms of restrictions of Euler-Bernoulli beam theory, in case of thicker beams due to non-consideration of transverse shear; phenomenon that is known as shear locking characterized the Timoshenko beam theory, in case of...
متن کاملThermal Vibration of Composites and Sandwich Laminates Using Refined Higher Order Zigzag Theory
Vibration of laminated composite and sandwich plate under thermal loading is studied in this paper. A refined higher order theory has been used for the purpose. In order to avoid stress oscillations observed in the implementation of a displacement based finite element, the stress field derived from temperature (initial strains) have been made consistent with total strain field. So far no study ...
متن کاملExperimental Study of Masonry Structure Under Impact Loading and Comparing it with Numerical Modeling Results via Finite Element Model Updating
Given the sophisticated nature of the blast phenomenon in relation to structures, it is of significance to accurately investigate the structure behavior under blast loads. Due to its rapid and transient nature, blast loading is one of the most important dynamic loadings on the structures. Since masonry materials are widely used as the partition and bearing walls in the existing and newly-built ...
متن کاملDynamic Stability of Moderately Thick Composite Laminated Skew Plates using Finite Strip Method
The dynamic instability regions of composite laminated skew flat plates subjected to uniform in-plane axial end-loading are investigated. The in-plane loading is assumed as a combination of a time-invariant component and a harmonic time-varying component uniformly distributed along two opposite panel ends’ width. In case of some loading frequency-amplitude pair-conditions, the model is subjecte...
متن کاملSize-dependent Bending of Geometrically Nonlinear of Micro-Laminated Composite Beam based on Modified Couple Stress Theory
In this study, the effect of finite strain on bending of the geometrically nonlinear of micro laminated composite Euler-Bernoulli beam based on Modified Couple Stress Theory (MCST) is studied in thermal environment. The Green-Lagrange strain tensor according to finite strain assumption and the principle of minimum potential energy is applied to obtain governing equation of motion and boundary c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009